D&A4WSC as a Design and Analysis Framework of Web Services Composition

The Web services composition (WSC) has an enormous potential for the organizations in the B2B area. In fact, different services collaborate through the exchange of messages to implement complex business processes. BPEL is one of the most used languages to develop such cooperation. However, a composition is not with added value if it is not compatible. This property garantees a placement of a correct composite web service. In this context, we develop a verification approach of the WSC compatibility. We propose, hence, a framework named D&A4WSC which allows to model the WSC by oWF-nets, to check their compatibility with the model checker NuSMV and to translate them if they are compatible in BPEL processes using the oWFN2BPEL compiler.